From: Arnaud Bonatti <arnaud.bonatti@gmail.com>
Date: Wed, 13 Feb 2019 12:12:24 +0000 (+0100)
Subject: Change Iagno renamed desktop id.
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~888^2^2~117
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=eabb02d3da42caee78c14e269ac3a438258dede4;p=gnome-shell.git

Change Iagno renamed desktop id.

Iagno is org.gnome.Reversi,
instead of org.gnome.Iagno.
---

diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 5f17c806d..7def1571e 100644
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -41,7 +41,7 @@ const RENAMED_DESKTOP_IDS = {
     'gnotravex.desktop': 'gnome-tetravex.desktop',
     'gnotski.desktop': 'gnome-klotski.desktop',
     'gtali.desktop': 'tali.desktop',
-    'iagno.desktop': 'org.gnome.Iagno.desktop',
+    'iagno.desktop': 'org.gnome.Reversi.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
     'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop',
     'polari.desktop': 'org.gnome.Polari.desktop',